The F5 criterion revised

Involutive Bases Algorithm Incorporating F5 Criterion

Article history: Received 2 June 2013 Accepted 15 July 2013 Available online xxxx

Revised criterion for including physician practices in surveys.

The Accreditation Committee of the Joint Commission’s Board of Commissioners approved a revision to the “Inclusion of Physician Practices in Survey” policy in “The Accreditation Process (ACC)” chapter of the comprehensive accreditation manuals for hospitals and critical access hospitals. Previously, Joint Commission policy required that a physician practice be included in the hospital’s survey ...

Universität Konstanz A general Hilbert - Mumford Criterion — Revised

We provide a Hilbert-Mumford Criterion for actions of reductive groups G on Q-factorial complex varieties. The result allows to construct open subsets admitting a good quotient by G from certain maximal open subsets admitting a good quotient by a maximal torus of G. As an application, we indicate how to obtain all invariant open subsets with good quotient for a given G-action on a complete Q-fa...

A Tropical F5 Algorithm

Let K be a field equipped with a valuation. Tropical varieties over K can be defined with a theory of Gröbner bases taking into account the valuation of K. While generalizing the classical theory of Gröbner bases, it is not clear how modern algorithms for computing Gröbner bases can be adapted to the tropical case. Among them, one of the most efficient is the celebrated F5 Algorithm of Faugère....

Faugere's F5 Algorithm Revisited